formal axiomatics
形式公理学
热门查询
- integrative adj. 综合的
- tramcar n. 有轨电车, 矿车
- philander n. 玩弄女性；调情；玩弄女性者（等于philanderer） n. (Philander)人名；(英、德)菲兰德 vi. 玩弄女性；调情；轻率地对待
- steps n. （楼外的）[建] 台阶；步伐；步数；步幅
- Larisa n. 拉里萨（希腊色萨利州东部城市）
- closing n. 结尾辞 v. 关闭（close的ing形式） adj. 收盘的；结束的；结尾的
- plow n. [农机] 犁；似犁的工具；北斗七星 vt. [农机] 犁；耕；开路 vi. [农机] 犁；耕地；破浪前进；开路
- farmstead n. 农庄；农场及其建筑物
- scurvy n. [内科] 坏血病 adj. 卑鄙的，下流的
- geochemistry n. 地球化学
- Baldock [人名] [英格兰人姓氏] 鲍多克住所名称，来源于中世纪英语、古法语，纪念城市Baghdad,原称Baldac; [地名] [英国] 鲍尔多克
- steepen vt. 使陡峭 vi. 变陡峭
- Campsie 恳思（悉尼的一个区）
- Hurlingham 英国马球总会
- declassified 解密的
- thematically adv. 主题上；主题方面
- crevasse n. 裂缝；破口，崩溃处
- nash n. 纳什（姓氏）
- menagerie n. 动物园；动物展览；（马戏团豢养的）兽群
- wholegrain adj. 全米的；全粒的
考试词汇表
- multiple instance
- multiple integral
- multiple junction
- multiple key file
- multiple labeling
- multiple land use
- multiple language
- multiple licenses
- multiple line law
- multiple lip seal
- multiple lipomata
- multiple listings
- multiple location
- multiple lymphoma
- multiple metering
- multiple moulding
- multiple mounting
- multiple myositis
- multiple myxomata
- multiple neuritis
